Ipotesi\!:\ \overline{AC} \cong \overline{BC};\ 
A\^CH \cong B\^CH\
Tesi\!:\ \overline{CH} \perp \overline{AB};\ 
\overline{AH} \cong \overline{BH}

1\ -\ \triangle ACH \cong BCH\ -\ I\ criterio\!:\ 
\overline{AC} \cong \overline{BC}\ (Ip.);\ 
\overline{CH}\ comune;\ 
A\^CH \cong\ B\^CH\ (Ip.)

2\ -\ C\^HA \cong C\^HB\ -\ Per\ (1)

3\ -\ A\^HC \cong \frac{\pi}{2}\ -\ Per\ A\^HB 
\cong \pi\ e\ (2)\ -\ Prima\ parte\ della\ tesi

4\ -\ \overline{AH} \cong \overline{BH}\ -\ 
Per\ (1)\
Q.\ E.\ D.

http://www.profcortese.net

A = (-0.94, -2.28)
B = (2.48, -2.28)
a = Segment(A, B)
b = LineBisector(a)
C = Point(b)
c = Segment(A, C)
d = Segment(C, B)
H = Intersect(b, a)
e = Segment(C, H)
α = Angle(A, C, H)
α' = Angle(H, C, B)